Works by Kuroda, Sigekatu (exact spelling)

( view other items matching `Kuroda, Sigekatu`, view all matches )
6 found
Order:
  1.  16
    Intuitionism. An Introduction.Sigekatu Kuroda - 1956 - Journal of Symbolic Logic 21 (4):367-371.
    Direct download  
     
    Export citation  
     
    Bookmark   66 citations  
  2.  15
    An investigation on the logical structure of mathematics (V).1 contradictions of Russell's type.Sigekatu Kuroda - 1958 - Journal of Symbolic Logic 23 (4):393-407.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  3.  10
    Heyting A.. Espace de Hilbert et intuitionnisme. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 59–63.Bernays Paul, Hermes H., Heyting A., Johansson Ingebrigt, Robinson Abraham. Discussion. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, p. 64. [REVIEW]Sigekatu Kuroda - 1958 - Journal of Symbolic Logic 23 (2):228-229.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  14
    Heyting A.. Intuitionism. An introduction. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1956, VIII + 133 pp. [REVIEW]Sigekatu Kuroda - 1956 - Journal of Symbolic Logic 21 (4):367-371.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  7
    Review: A. Heyting, Espace de Hilbert et Intuitionnisme; Paul Bernays, H. Hermes, A. Heyting, Ingebrigt Johansson, Abraham Robinson, Discussion. [REVIEW]Sigekatu Kuroda - 1958 - Journal of Symbolic Logic 23 (2):228-229.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. Review: A. Heyting, Intuitionism. An Introduction. [REVIEW]Sigekatu Kuroda - 1956 - Journal of Symbolic Logic 21 (4):367-371.
     
    Export citation  
     
    Bookmark